Andrew

Results: 26901



#Item
651

Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

Add to Reading List

Source URL: lara.epfl.ch

- Date: 2017-08-25 12:01:44
    652

    Simple Schnorr Multi-Signatures with Applications to Bitcoin Gregory Maxwell, Andrew Poelstra1 , Yannick Seurin2 , and Pieter Wuille1 1 Blockstream

    Add to Reading List

    Source URL: eprint.iacr.org

    - Date: 2018-01-15 10:45:34
      653

      A General Purpose Graphics Processing Solution to Quadtree Creation Joshua Gluck, advisor: Andrew Danner; Swarthmore College, PA CPU vs GPU Quadtree Generation Overview

      Add to Reading List

      Source URL: www.synergylabs.org

      - Date: 2014-09-20 16:11:27
        654

        A Dynamic Speech Breathing System for Virtual Characters Ulysses Bernardet1 , Sin-hwa Kang2 , Andrew Feng2 , Steve DiPaola1 , and Ari Shapiro2 1

        Add to Reading List

        Source URL: www.arishapiro.com

        - Date: 2017-07-21 12:51:12
          655

          Robotic Grasping of Novel Objects using Vision Ashutosh Saxena, Justin Driemeyer, Andrew Y. Ng Computer Science Department Stanford University, Stanford, CA 94305 {asaxena,jdriemeyer,ang}@cs.stanford.edu

          Add to Reading List

          Source URL: pr.cs.cornell.edu

          - Date: 2011-06-22 18:43:12
            656

            USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS ANDREW D. H. FARRELL, MAREK J. SERGOT Department of Computing, Imperial College, London. SW7 2AZ. United Kingdom. {andrew.farrell,m.sergot}@imperial.

            Add to Reading List

            Source URL: spiral.imperial.ac.uk

            - Date: 2015-12-14 10:04:28
              657

              Towards Cloth-Manipulating Characters Eder Miguel Andrew Feng URJC Madrid

              Add to Reading List

              Source URL: www.arishapiro.com

              - Date: 2014-11-28 14:41:36
                658

                Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa1 1

                Add to Reading List

                Source URL: users.eecs.northwestern.edu

                - Date: 2018-03-30 15:48:58
                  659

                  dc3dm: S OFTWARE FOR EFFICIENT QUASISTATIC DISLOCATION - TRACTION OPERATORS ON NONUNIFORMLY DISCRETIZED RECTANGULAR FAULTS Andrew M. Bradley (), Stanford University T51D-2490 AGU 2013 Velocity BC

                  Add to Reading List

                  Source URL: pangea.stanford.edu

                  - Date: 2015-10-31 19:15:53
                    660

                    Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562

                    Add to Reading List

                    Source URL: www.blockstream.com

                    - Date: 2018-04-03 11:55:18
                      UPDATE